<?php // -*-html-*- ?>
<!--  -->
<?php if (!empty($LOCK_CHANGED_MSG)) { ?>
  <p><?=$LOCK_CHANGED_MSG?></p>
<?php } ?>

<hr noshade="noshade" />
<?= Template('browse') ?>
